$\forall$$a$, $b$, $c$, $d$:$\mathbb{Q}$. $a$ $\leq$ $b$ $\Rightarrow$ $c$ $<$ $d$ $\Rightarrow$ $a$ + $c$ $<$ $b$ + $d$